🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧩 Theorem Proving

Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants

Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·3h
🔢Mathematical Logic
Fermat's Last Theorem in Lean – Imperial College London
github.com·17h·
Discuss: Hacker News
✅Formal Verification
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
🔢Mathematical Logic
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
🔧Compiler Design
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🔢Mathematical Logic
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·1d·
Discuss: Hacker News
🔢Mathematical Logic
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·2d·
Discuss: Hacker News
🧮Programming Language Theory
Constraint Catalog
sofdem.github.io·5h
🎯Constraint Programming
I built a tool to sketch out system designs and diagrams - no syntax, no setup, just chat
reddit.com·14h·
Discuss: r/SoftwareEngineering
🔧Compiler Design
JRM runs off at the mouth
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔧Compiler Design
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·58m·
Discuss: DEV
🔍Static Analysis
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·23h·
Discuss: Hacker News
🔢Mathematical Logic
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·12h·
Discuss: Hacker News
🧮Programming Language Theory
Agentic Coding Things That Didn’t Work
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
👨‍💻 Teach Yourself CS — A Self-Taught Developer’s Roadmap to Computer Science
teachyourselfcs.com·15h·
Discuss: DEV
🧮Programming Language Theory
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
arxiv.org·2d
🔢Mathematical Logic
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·3d
⚙Functional Programming
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·21h·
Discuss: Hacker News
⚙Functional Programming
Moving Beyond the Prompt (AI Literacy Course)
github.com·8h·
Discuss: Hacker News
🧮Programming Language Theory
Streamlining AWS Serverless workflows: From AWS Lambda orchestration to AWS Step Functions
aws.amazon.com·10h
🤝Protocol Design
Loading...Loading more...
AboutBlogChangelogRoadmap